$\forall$$i$:Id, $L$:Knd List, $x$:Id, $t$:Type. @$i$: only $L$ affects $x$ : $t$ $\in$ Dsys